Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
791	Lecture 3: Non-linear-sigma-model: Part I Christopher Mudry∗ Paul Scherrer Institut, CH-5232 Villigen PSI, Switzerland. (Dated: March 05, [removed]Abstract Add to Reading List Source URL: www.psi.ch Language: English - Date: 2014-03-14 04:41:37 Magnetic ordering Quantum field theory Rotational symmetry Spin Spintronics Prime-counting function Magnet Heisenberg model Physics Electromagnetism Magnetism
792	Bad Company Tamed Øystein Linnebo University of Bristol Draft of 8 May Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:46 Modal logic Metalogic Model theory Formal languages First-order logic Individuation Function Well-formed formula Barcan formula Logic Mathematical logic Mathematics
793	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
794	Welfare in a chronic model of cardiac disease in sheep Linley Nisbet Senior Technical Officer Cardiac Structure & Function Group Auckland Bioengineering Institute Add to Reading List Source URL: anzccart.org.nz Language: English - Date: 2014-08-20 20:16:37 Health Medical emergencies Sheep Cardiac electrophysiology Myocardial infarction Electrocardiography Heart failure Medicine Aging-associated diseases Biology
795	Size Reduction and Function Enhancement Improvement of Camera Picture Quality KATOH Satoshi Abstract The N905i model that was released in November 2007 features significant improvements to its camera functions. Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:42:55 Digital photography Camera lens Autofocus Shutter speed Camera Liquid crystal display Optics Image stabilization Technology
796	A Romp through the Foothills of Logic: Session 2 You might find it easier to understand this podcast if you first watch the short podcast ‘Introducing Truth Tables’. Lecturer: Add to Reading List Source URL: mariannetalbotdotcom.files.wordpress.com Language: English - Date: 2014-08-27 04:40:59 Deduction Logical consequence Model theory Deductive reasoning Entailment Argument Interpretation Function First-order logic Logic Propositional calculus Logical syntax
797	Which Abstraction Principles are Acceptable? A Limitative Result Øystein Linnebo and Gabriel Uzquiano March 19, [removed] Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:17 Thought Cognition Model theory Metalogic Abstraction Cardinal number Stable theory Function Logicism Mathematics Mind Creativity
798	UPROM: A UNIFIED BUSINESS PROCESS MODELING METHODOLOGY A THESIS SUBMITTED TO THE GRADUATE SCHOOL OF INFORMATICS OF MIDDLE EAST TECHNICAL UNIVERSITY Add to Reading List Source URL: etd.lib.metu.edu.tr Language: English - Date: 2014-06-23 02:58:27 Software development Systems theory Software Enterprise modelling Diagram Infographics Business process modeling Middle East Technical University Function model Systems engineering Systems science Process management
799	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
800	Composite Statistical Inference for Semantic Segmentation Fuxin Li(1) , Joao Carreira(2) , Guy Lebanon(1) , Cristian Sminchisescu[removed]Georgia Institute of Technology. (2) ISR - University of Coimbra. (3) Lund Universi Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-06-04 23:25:14 Maximum likelihood Expectation–maximization algorithm Identifiability Score Likelihood function Parametric model M-estimator Mixture model Entailment Statistics Estimation theory Segmentation

UPDATE